首页> 外文OA文献 >From Featured Transition Systems to Modal Transition Systems with Variability Constraints

【2h】

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

机译：从特色过渡系统到具有可变性约束的模态转换系统

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Maurice H. Ter Beek(b; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints [J] . Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Journal of Logic and Algebraic Programming . 2016,第2期

机译：对产品系列中的可变性进行建模和分析：具有可变性约束的模态转换系统的模型检查
2. On the expressiveness of modal transition systems with variability constraints [J] . ter Beek Maurice H., Damiani Ferruccio, Gnesi Stefania, Science of Computer Programming . 2019,第JANa1期

机译：具有可变性约束的模态过渡系统的表达性
3. Modal transition system encoding of featured transition systems [J] . Varshosaz Mahsa, Luthmann Lars, Mohr Paul, Journal of Logic and Algebraic Programming . 2019,第AUGa期

机译：特征转换系统的模态转换系统编码
4. From Featured Transition Systems to Modal Transition Systems with Variability Constraints [C] . Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Software engineering and formal methods . 2015

机译：从特色过渡系统到具有可变性约束的模态过渡系统
5. A thermodynamic investigation of indium-transition metal ohmic contacts to n-type gallium arsenide, and an overview of the thermochemical behavior of quaternary gallium-indium-(transition or noble metal)-arsenic systems. [D] . Swenson, Douglas James. 1994

机译：铟过渡金属与n型砷化镓的欧姆接触的热力学研究，以及季镓-铟-（过渡或贵金属）-砷体系的热化学行为概述。
6. Variability in the systems of care supporting critical neonatal intensive care unit transitions [O] . Heather C. Kaplan, Erika M. Edwards, Roger F. Soll, -1

机译：护理系统中的可变性支持关键新生儿重症监护单位过渡
7. From featured transition systems to modal transition systems with variability constraints [O] . Ter Beek, Maurice H., Damiani, Ferruccio, Gnesi, Stefania, 2015

机译：从特色过渡系统到具有可变性约束的模态过渡系统

From Featured Transition Systems to Modal Transition Systems with Variability Constraints

著录项

引文网络

相似文献

相关主题

期刊订阅